$\forall$$P$:(ES\{i\}$\rightarrow\mathbb{P}$\{i'\}). ($\forall$${\it es}$:ES\{i\}. $P$(${\it es}$)) $\Rightarrow$ Rnone() $\Vdash$\{i\} ${\it es}$.$P$(${\it es}$)